pe{-}state($p$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}dstate{-}when(pe{-}es($p$);pe{-}e($p$))